Moral Assertion

Understanding Assertion

Native SystemC Assertion mechanism with transaction and temporal assertion support

SystemC [1] is rapidly becoming the language of choice for ESL-centric design methodologies. It is set to become the framework for higherlevel flows above today’s RTL, and has three key components: modeling, synthesis and verification. High-level modeling particularly demonstrates the language’s versatility and advantages. Strong progress is also being made in higher-level synthesis. However, o...

From Assertion-Based Verification to Assertion-Based Synthesis

We propose a linear complexity approach to achieve automatic synthesis of designs from temporal specifications. It uses concepts from the AssertionBased Verification. Each property is turned into a component combining classical monitor and generator features: the extended-generator. We connect them with specific components to obtain a design that is correct by construction. It shortens the desi...

‘‘Assertion’’ and intentionality

Robert Stalnaker argues that his causal-pragmatic account of the problem of intentionality commits him to a coarse-grained conception of the contents of mental states, where propositions are represented as sets of possible worlds. Stalnaker also accepts the ‘‘direct reference’’ theory of names, according to which co-referring names have the same content. Stalnaker’s view of content is thus thre...

Assertion-based Acceleration

Assertion-based verification (ABV) has been adopted by many successful companies in the global electronics market to help them improve design quality and reduce time-to-market. ABV has evolved in response to the problem of not being able to adequately verify a design’s functional operation. As designs have gotten bigger and design cycles have gotten shorter, traditional simulation has failed to...